Abstract: First， this paper introduces verification method for FPGA based on multiple coverageoriented combined with assertions， then with the functional verification of a bus arbiter module as background， verification strategy and verification plan for FPGA bus arbiter module is established， the method of multiple coverage-oriented combined with assertion is adopted to verify the bus arbiter module. The experimental results show that verification method for FPGA based on kinds of coverage combined with assertion can ensure the adequacy of the verification of and shorten the time of functional verification.

Key words: coverage, assertion FPGA, verification plan, functional verification